Computer Aided Incremental Specification
نویسنده
چکیده
Formal requirements specifications play an important role in enhancing the reliability and effectiveness of software development. They provide a precise, unambiguous standard for the construction of a system and raise the confidence in a planned system by enabling a proper mathematical analysis of its requirements. The construction of formal specifications can be effectively supported by computer based tools if those tools are suitably tuned to the logic of composing specifications. In this paper we discuss the possibility of providing 'intelligent' assistance during the incremental construction of well designed and reliable algebraic specifications of complex (software) systems. Based on a model of the specification process, we show how the demand to preserve certain properties in the evolving specification can be exploited to design functions of a specification tool which assist the process in an effective manner.
منابع مشابه
Computer-aided dispatch system family architecture and verification: an integrated formal approach
Software architecture is an important level of description for software systems. Formal modelling techniques can be used to define and verify software architectures precisely. An integrated formal approach to the architecture modelling and verification of a computer-aided dispatch (CAD) system family, is presented. An incremental three-layer model, that is, architecture style layer, generic sys...
متن کاملSurvey on Perception of People Regarding Utilization of Computer Science & Information Technology in Manipulation of Big Data, Disease Detection & Drug Discovery
this research explores the manipulation of biomedical big data and diseases detection using automated computing mechanisms. As efficient and cost effective way to discover disease and drug is important for a society so computer aided automated system is a must. This paper aims to understand the importance of computer aided automated system among the people. The analysis result from collected da...
متن کاملFramework for the Development of Educational Software
The use of computer networks and information technology are becoming an important part of the everyday work in almost all professions, especially in scientific areas, and facing new education concepts, many universities and education organizations decided to plan new strategies concerning computer based technologies. As a result of these developments Computer Aided Education (CAE) methods came ...
متن کاملClassifications and Properties of Materials for Chairside Computer-Aided Design/Computer-Aided Manufacturing Dentistry: A Review
Background and Aim: Chairside computer-aided design/computer-aided manufacturing (CAD/CAM) systems have become considerably more accurate, reliable, efficient, fast, and prevalent since 1985 when CEREC was introduced. The inceptive restorative material option for chairside CAD/CAM restorations was limited to ceramic blocks. Today, restorative material options have been multiplied and include me...
متن کامل